1. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(
رده :
QA
267
.
5
.
S4
.
I47
1980
2. Communication and concurrency
پدیدآورنده : Robin, Miler
موضوع : Computer systems,Machine theory,Formal language
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Elaements de thaeorie des automates.English
پدیدآورنده : Jacques Sakarovitch ; translated by Reuben Thomas
کتابخانه: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
موضوع : Machine theory,Automata theory,Automata math,Formal language,Automatentheorie., swd
رده :
QA
267
.
S22E4
2009
4. Elements of the theory of computation
پدیدآورنده : LEWIS,HARRY R
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : MACHINE THEORY , FORMAL LANGUAGE , COMPUTATIONAL COMPLEXITY
رده :
QA
267
.
L49
5. Formal language and their relation to automata
پدیدآورنده : Hopcroft , John E. 9391-
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Formal language,، Machine theory
رده :
QA
267
.
3
.
H6
6. Groups, Language,and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group...
پدیدآورنده : / Robert H. Gilman
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Geometric group theory-- Congresses,Machine theory-- Congresses,Formal language-- Congresses
رده :
512
.
2
A528G
7. Mathematical foundations of computer science, 3rd Symposium at Jadwisin near warsaw, June 17-22, 1974
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming )Elrctronic computers(
رده :
QA
267
.
5
.
S4
.
S89
1974
8. Theory of finite automata : with an introduction to formal languages
پدیدآورنده : / John Carroll, Darrell Long
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Sequential machine theory,Formal language
رده :
QA276
.
5
.
S4C35
1989
